Personnel scheduling: Models and complexity · Study