nombre de máquinas de minería de carbón