A customer is looking for a solution to determine the best staff levels at their service centers while considering variability in arrival rates of service tickets and duration to resolve them. Which IBM offering will the technical seller propose to the customer?