A dual-layer estimator architecture for long-term localization
matrix computations ( 3 . ed . ) .