The Drug And Pace Health cliNical Evaluation (DAPHNE) study: A randomized trial comparing sotalol versus β-blockers to treat symptomatic atrial fibrillation in patients with brady-tachycardia syndrome implanted with an antitachycardia pacemaker