Measuring 6,000 African cities: double the population means triple the energy costs