South Korea tops $700 billion in annual exports, led by record chip shipments