Pruning Random Forests for Prediction on a Budget