Development and comparison of machine learning-based models for predicting heart failure after acute myocardial infarction