How GPS works without an atomic clock