Title: An energy model of aspects of the Korean energy system