introducción en la minería del carbón