From 0–1 Goal Programming to Binary Integer Programming: An Improved Formulation for Optimizing Nurse Rostering in a Malaysian Military Maternity Ward | Synapse