韩国上半年gdp2023