Scalable and Explainable Verification of Image-based Neural Network Controllers for Autonomous Vehicles