Health insurance for the informal sector in Africa: design features,risk protection and resource mobilization