Causal Explainability of Machine Learning in Heart Failure Prediction from Electronic Health Records