Design and Validation of Digitized Intermediate Frequency GPS Signal and Receiver Software Models for Developing and Comparing Advanced GPS Receiver Technologies