Open High-Resolution Satellite Imagery: The WorldStrat Dataset — With Application to Super-Resolution