Real-Time Freeway Traffic State Estimation Based on Extended Kalman Filter: A Case Study | Synapse