Postinterventional microembolism signals detected by transcranial Doppler ultrasound after carotid artery stenting.