Error-Based Pruning of Decision Trees Grown on Very Large Data Sets Can Work!