South Korea July exports jump 62.8% to $98.9B on chip boom