Title: A Kalman filter-smoother for an inertial survey system of local level type