Greenhouse gas emissions from high-speed rail infrastructure construction in Korea