A Contract-Based Computing-Charging Protocol for Electric Vehicles with Vehicular Fog Computing.