Task Scheduling of Multiple Agile Satellites with Transition Time and Stereo Imaging Constraints.