Effects of relativity on GPS