Brasil produziu 4,7 barris por dia em julho, superando novamente a marca registrada no mês anterior