New Algorithm of GPS Rapid Positioning Based on Double-k-Type Ridge Estimation