Physics-Embedded Gaussian Process for Traffic State Estimation