Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari · Study