Optimization Models and Algorithms for Prototype Vehicle Test Scheduling