Scheduling Optimization for Imagery Satellite Constellations Using Column Generation