Title: Coal-mining economics