Nurse scheduling: From theoretical modeling to practical resolution