Variability in the use of pulse oximeters with children in Kenyan hospitals: A mixed-methods analysis