Carotid endarterectomy for asymptomatic carotid stenosis in the very elderly