Text this: Korea's experience with export-led industrial development