Towards Verified Vision-Based Neural Network Controllers for Autonomous Lane-Following