Gravar-mail: Modelling the Strategic Use of Antiretroviral Therapy for the Treatment and Prevention of HIV