Text this: Bituminous coal production in the Appalachian Basin, past, present, and future