Examining the cost-effectiveness of personal protective equipment for formal healthcare workers in Kenya during the COVID-19 pandemic