A shift sequence based approach for nurse scheduling and a new benchmark dataset