Statistics for Evaluating the need for coal in Kenya's electricity generation mix