Proportion allocation in stratified random sampling