Sectoral energy demand in the Republic of Korea (Regional Energy Development Programmes, 1989)