Bituminous coal and lignite production and mine operations. (U.S. Dept. of Energy, Energy Information Administration,)