On the complexity of manpower shift scheduling