Progression of atrial fibrillation after a failed initial ablation procedure in patients with paroxysmal atrial fibrillation: a randomized comparison of antiarrhythmic drug therapy vs re-ablation