Male circumcision, HIV prevention, and support for health systems in Africa