Mixed Integer Linear Programming for Traffic Signal Control