Formal Languages for Integer Programming Modeling of Shift Scheduling Problem