To study the eating habits of all athletes in his school, Christopher obtains a list of the athletes, divides them into groups of varsity and junior varsity, and randomly selects a proportionate number of individuals from each group. Which type of sampling is used?