South Korea GDP Hits 6-Year High on Semiconductor Export Surge