Cardiac resynchronization therapy in patients undergoing atrioventricular junction ablation for permanent atrial fibrillation: a randomized trial.