Exports drive Appalachian coal production, prices