Identification of acute myocardial infarction and stroke events using the National Health Insurance Service database in Korea | Synapse