During which stage of developing the global positioning system did engineers first apply the theory of relativity to design the product?