Mixed Integer Programming to Schedule a Single-Shift Workforce under Annualized Hours