minería en la revolución industrial