Iraq launches offensive on last Islamic State stronghold in Mosul