Gravity Modeling In High-Integrity Gnss-Aided Inertial Navigation Systems