Atrial antitachycardia pacing and managed ventricular pacing in bradycardia patients with paroxysmal or persistent atrial tachyarrhythmias: the MINERVA randomized multicentre international trial