quais sao as maquina usadas na mineracao