How Probability and Optimization Shape Modern Scheduling