Assessing the hospital surge capacity of the Kenyan health system in the face of the COVID-19 pandemic