Text this: The Derivation Of A Design Matrix For A Foot-mounted Inertial Pedestrian Navigation Using Invariant Observer Approach