A review of spatial resolution and regionalization in national energy systems optimization models