external cost of coal mining