Data-Driven Decisions for Reducing Readmissions for Heart Failure: General Methodology and Case Study