Predicting effect of pre-exposure prophylaxis on HIV epidemics.