What People, and Trees, Think about Utility Tree Pruning