Korea's experience with export-led industrial development