Gravar-mail: A risk-based model for predicting the impact of using condoms on the spread of sexually transmitted infections