Title: The economics of coal mining