How many Global Positioning System (GPS) satellites are required to yield a three dimensional position (latitude, longitude, and altitude) and time solution?