Brasil exporta 10,25 milhões de toneladas de soja