Ofensiva de Deir ez-Zor (2017–2019)