Long-term cost-effectiveness of a disease management program for patients with atrial fibrillation compared to standard care – a multi-state survival model based on a randomized controlled trial