Defining Disease Phenotypes Using National Linked Electronic Health Records: A Case Study of Atrial Fibrillation | Synapse