Decision tree pruning via multi-objective evolutionary computation