Gravar-mail: Use of electronic health record data and machine learning to identify potential candidates for HIV preexposure prophylaxis: a modelling study