ROAD-R: The Autonomous Driving Dataset with Logical Requirements