Brasil exporta 140,2 mil toneladas de suco de laranja em julho