Use of electronic health record data and machine learning to identify candidates for HIV pre-exposure prophylaxis: a modelling study | Litlas