Staff Scheduling for Human Resources Departments