ddxof: Assessing Risk for Managing Atrial Fibrillation