What does a GPS have to do with earthquakes?