Brasil bate recorde histórico de exportação de petróleo em setembro com produção em alta