State estimators and Kalman filters of reduced order and their employment in supported inertial navigation systems