Population, power grid and planned mini-grids in KOSAP counties