Development and flight demonstration of a GPS receiver for space