EIA projects largest year-over jump in U.S. coal production in 2017