Identification of acute myocardial infarction from electronic healthcare records using different disease coding systems