main changes in mining during the industrial revolution