Nairobi’s colorful but chaotic local bus system is resisting being digitized