coal mining during the industrial revolution