qué máquinas se utilizan en la minería del carbón