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