Customer churn prediction in the online gambling industry: The beneficial effect of ensemble learning