quais maquinas sao utilizados na mineracao