quais máquinas são usadas na mineração de carvão