Executives for a grocery store chain want to survey their employees about a new policy regarding break times. To get a representative sample of 40 employees, they randomly select 10 people from each of the different job titles at the store (cashier, bagger, stocker, and manager). Which sampling method was used?