Optimal Augmentation of GPS using Inexpensive Geosynchronous Navigation Satellites