Real-Time Estimation of Urban Street Segment Travel Time Using Buses as Speed Probes | Synapse