invenciones de la minería del carbón durante la revolución industrial