Pulmonary-vein isolation for atrial fibrillation in patients with heart failure.