Brasil teve recorde na produção de petróleo e gás em julho, diz ANP