U.S. Coal Production, Exports, and Prices Increased in 2017