An internal auditor is testing the success of the IT support department in meeting the service levels guaranteed to small, medium, and large customers. The customer's size classification is based on its annual expenditures with the organization and the nature and extent of services it receives. Which of the following sampling techniques would be the most suitable to select customers for this test?