what is coal and mine industries