Preventing KPI Violations in Business Processes based on Decision Tree Learning and Proactive Runtime Adaptation