a simple 1D Kalman filter implemented in Stan