Why Automatic Workforce Scheduling is Hard