Estimation of GPS Carrier Ambiguity Distribution Using Local Linearization Particle Filters