Exportações mineiras têm maior crescimento do país e somam US$ 35,2 bilhões até outubro