Battle for Deir ez-Zor city