transit vehicle type with a service for theater .