procedimiento para la ejecución de la minería del carbón