Five‐year impact of catheter ablation for atrial fibrillation in patients with a prior history of stroke