Constraint Model for the Satellite Image Mosaic Selection Problem