Identification of acute myocardial infarction from electronic healthcare records using different disease coding systems: a validation study in three European countries