Cellular-Assisted Vehicular Communications: A Stochastic Geometric Approach