Carotid stenting and Transcranial Doppler monitoring (TCD): our experience