Bank of Korea resumes gold buying after 13-year pause