Stratified sampling with proportional allocation