Demonstrably Safe AI for Autonomous Driving