Efficient Kalman Filtering And Smoothing