Optimizing carrier smoothing parameters considering a cycle slip probabilistic model