An Exact Algorithm for Agile Earth Observation Satellite Scheduling with Time-Dependent Profits. (August 2020)