Do efficiency gains really translate into more budget for health? An assessment framework and country applications | Synapse