Ten-year risk of stroke in patients with previous cerebral infarction and the impact of carotid surgery in the Asymptomatic Carotid Surgery Trial