PrEP and TasP modelling shows need for optimization