Can You Trust Your Autonomous Car? Interpretable and Verifiably Safe Reinforcement Learning