9 The Global Positioning System (GPS)