Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles