Atrioventricular Nodal Ablation and VVIR Pacing for Rate Control and Regularisation of the Ventricular Rhythm in Patients with Established Atrial Fibrillation