Optimization-Based Highway Traffic State Estimation with Bound Guarantees