Choice of antithrombotic therapy for patients with atrial fibrillation undergoing carotid angioplasty and stenting: a nationwide population-based study