Energy-Efficient Edge Computing Service Provisioning for Vehicular Networks: A Consensus ADMM Approach | Synapse