why would be coal mining done