Random Forests as Statistical Procedures: Design, Variance, and Dependence