SAT-SURF and SAT-SURFER: A Novel Multireceiver Hardware and Software Platform for Research and Education on GNSS and Augmentation Systems