A comparison of medical therapy and ablation for atrial fibrillation in patients with heart failure