Model projections of the population-level impact, on HIV and herpes simplex virus type-2 (HSV-2), and cost-effectiveness of tenofovir gel, an antiretroviral microbicide