U.S. coking coal exports up in March