cómo se realiza la minería del carbón