The use of atrial overdrive and ventricular rate stabilization pacing algorithms for the prevention and treatment of paroxysmal atrial fibrillation: the Pacemaker Atrial Fibrillation Suppression (PAFS) study.