Size Matters: The Number of Prostitutes and the Global HIV/AIDS Pandemic