South Korea factory growth hits 4-month high as export orders boom, PMI shows