Talk:Effects of relativity on GPS