Prospective Electric Power System Models for Future Large Cities in Japan as a Background System Prior to Introduction of Cryogenic Power Cables