data Economy employment government Do just 700,000 public workers gobble up half of Kenya’s taxes, as Ruto said?