GPS Systems: Technology, Operation, and Applications