Management of patients with atrial fibrillation at high risk of stroke: current treatment options