Highway Traffic State Estimation With Mixed Connected and Conventional Vehicles | Synapse