Kenya’s energy mix