4Seasons: A Cross-Season Dataset for Multi-Weather SLAM in Autonomous Driving