A strategy for validation of variables derived from large-scale electronic health record data | Synapse