history of coal mining in the united states