A mathematical model of biomedical interventions for HIV prevention among men who have sex with men in China