Nonlinear Observer for GNSS-Aided Inertial Navigation with