Gravar-mail: Validation of Medicaid claims-based diagnosis of myocardial infarction using an HIV clinical cohort