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