Knowledge of and preferences for health insurance among formal sector employees in Addis Ababa: a qualitative study | Synapse