Efficient Estimation and Stratified Sampling