la industria de la minería del carbón