Intraoperative internal carotid artery restenosis detected by transcranial Doppler monitoring