Real-Time Traffic State Prediction: Modeling And Applications