GPS for Orbit and Attitude Determination: Hardware Design and Qualification Plan for a Spaceborne Receiver