South Korea’s semiconductor industry