quais sao as maquinas usadas na mineração