A researcher wants to study ethnic variations in students' study habits at a major university. There are 80% Caucasians, 10% African Americans, and 10% Hispanics at the university. The researcher wants his sample to reflect the proportions of ethnic groups at the university. He would use what type of sampling technique