A comparison of pruning criteria for probability trees