[Africa Check] Global oil prices rise and fall, but Kenya's pump prices stay high? The data says, mostly yes