as maquinas empregadas na mineração no brasil atual