pangunahing pagbabago sa pagmimina sa panahon ng rebolusyong pang-industriya