Title: The demand for fuel inputs by the electricity generating sector in Republic of Korea