Survey of Electronic Health Record (EHR) Systems in Kenyan Public Hospitals: A mixed-methods survey (Preprint)