GPS radio receiver