desarrollo de la revolución industrial de la minería del carbón