Household electricity access in Africa (2000– 2013): Closing information gaps with model-based geostatistics