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