Binary Integer Programming Model