More than 3,000 bodies have been recovered after the fighting ended in Mosul; some are ISIL fighters, but it is civilians who paid the highest price in the battle for the Iraqi city.