Mixed-Integer Programming of The Constellation Scheduling Problem.