ISIS forces were driven out of Mosul in July 2017. How to rebuild the city after more than 3 years of occupation?