South Korea’s GDP growth beats forecasts amid AI boom