Engineering Satellite-Based Navigation And Timing: Global Navigation Satellite Systems, Signals, And Receivers