The new role of antiretrovirals in combination HIV prevention: a mathematical modelling analysis