Digitalizing health data can save time, money – and lives – in Kenya