Health Insurance for the Informal Sector in Africa : Design Features, Risk Protection, and Resource Mobilization