GPS relativity correction