Simulation-Based Verification Framework for Outputs of Electric Vehicle Routing Algorithms: A Campus-Scale Case Study | Synapse