Energy Demand and Its Implication on Wind/PV System Sizing in Machakos, Kenya