Dabigatran vs warfarin for radiofrequency catheter ablation of atrial fibrillation.