history of coal mining in the us