How does GNSS work for timing?