BusTr: Predicting Bus Travel Times from Real-Time Traffic