Modeling Myocardial Infarction in Mice: Methodology, Monitoring, Pathomorphology