Text this: Catheter ablation of atrial fibrillation in patients with heart failure with reduced ejection fraction