Text this: Exact Algorithms for the Satellite Image Selection Problem