The value of flexibility in nurse scheduling