Smart City Taxi Trajectory Coverage and Capacity Evaluation Model for Vehicular Sensor Networks