Block Processing Techniques For The Global Positioning System