GPS navigation receiver design