Modeling and Engineering Constrained Shortest Path Algorithms for Battery Electric Vehicles | Synapse