MILP-Based Charging and Route Selection of Electric Vehicles in Smart Grid | Synapse