U.S. coking coal exports surge