Samsung Galaxy launch lifts Korean industrial production