The economics of rural electrification: Evidence from Kenya