Prevention of cerebral thromboembolism by oral anticoagulation with dabigatran after pulmonary vein isolation for atrial fibrillation: the ODIn-AF trial.