Text this: Identification of Patients With Congestive Heart Failure From the Electronic Health Records of Two Hospitals: Retrospective Study