Anticoagulant therapy in patients with atrial fibrillation and an implanted cardiac resynchronization therapy device