coal mining history industrial revolution