Analyzing grid extension and stand-alone photovoltaic systems for the cost-effective electrification of Kenya