Leveraging electronic medical records for HIV testing, care, and treatment programming in Kenya—the national data warehouse project | Synapse