The MINERVA study design and rationale: a controlled randomized trial to assess the clinical benefit of minimizing ventricular pacing in pacemaker patients with atrial tachyarrhythmias.