¿cuánto es la maquinaria que se utilizará para la minería del carbón