Catheter ablation of atrial fibrillation in patients with therapeutic oral anticoagulation treatment.