Extração de petróleo cai 3,5% em outubro no comparativo mensal, diz ANP