MOSUL, Iraq— The price Mosul’s residents paid in blood to see their city freed was between 9,000 and 11,000 dead, …