QTNet: Theory-based Queue Length Prediction for Urban Traffic | Synapse