Economic analysis at the global level: a resource requirement model for HIV prevention in developing countries