Comparing the Cost Effectiveness of Non-vitamin K Antagonist Oral Anticoagulants with Well-Managed Warfarin for Stroke Prevention in Atrial Fibrillation Patients at High Risk of Bleeding