Constraint Mining in Business Intelligence: A Case Study of Customer Churn Prediction · Study