Catheter ablation versus rate control in patients with atrial fibrillation and heart failure