Brasil exporta 92,2 mil toneladas de arroz beneficiado em maio