Describir: Fundamentals of GNSS-Aided Inertial Navigation