Inside the box: GPS and relativity - GPS World