que máquina se utiliza para la minería del carbón