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