Coverage Analysis of Fog-Enabled Vehicular Networks with User Mobility.