Statistics for Optimization Models and Algorithms for Workforce Scheduling with Uncertain Demand