Batalha de Deir Zor (Setembro–Novembro de 2017)