Integrated national energy planning: A case study of the Republic of Korea