Modeling Stochastic Microscopic Traffic Behaviors: a Physics Regularized Gaussian Process Approach