Text this: Global positioning system. Theory and applications.