Global Positioning Systems, Inertial Navigation, and Integration by Grewal, Weil