Mobility Modeling for Vehicular Communication Networks