Anticoagulation for cardioversion of atrial fibrillation