Iraqi troops move into Mosul’s Old City, last ISIS stronghold