en la minería durante la revolución industrial equipo minero