Do beneficiaries’ views matter in healthcare purchasing decisions? Experiences from the Nigerian tax-funded health system and the formal sector social health insurance program of the National Health Insurance Scheme | Synapse