Binary Integer Linear Programming Model