A Joint Service Migration and Mobility Optimization Approach for Vehicular Edge Computing | Synapse