Gonorrhoea and chlamydia diagnosis as an entry point for HIV pre-exposure prophylaxis: a modelling study