Gravar-mail: Tracking elimination of HIV transmission in men who have sex with men in England: a modelling study