Models and Algorithms for Workforce Allocation and Utilization.