integer linear programming branch and bound method