Stochastic Modeling for Intelligent Software-Defined Vehicular Networks: A Survey | Synapse