Performance Modeling of Vehicular Clouds Under Different Service Strategies