Rhythm control of atrial fibrillation in heart failure.