inventions of coal mining during industrial revolution