South Korea factory activity quickens on surge in export demand, PMI shows