Automated Identification of Potential Candidates for Human Immunodeficiency Virus Pre-exposure Prophylaxis Using Electronic Health Record Data