A Comparison of Techniques for Scheduling Earth Observing Satellites