Text this: A theoretical model of the evolution of virulence in sexually transmitted HIV/AIDS