Treatment of atrial fibrillation with a dual defibrillator in heart failure patients (TRADE HF): protocol for a randomized clinical trial.