Integer Linear Programming Python