Trees, forests, chickens, and eggs: when and why to prune trees in a random forest | Synapse