Cost-effectiveness of three screening strategies for atrial fibrillation in Sri Lanka: a decision-tree modelling analysis using community-based prevalence data | Synapse