What is the minimum number of Global Positioning System (GPS) satellites that are observable by a user anywhere on earth?