A 0/1 Integer Programming Model for the Office Space Allocation Problem