Stratified Random Sampling Example, Revised on June 22, 2023.