South Korea exports reach record high on semiconductor demand