Text this: Design of tracking algorithms for spinning single-patch antenna GPS receivers