Optimization of Random Process Parameters for Pseudo-Ambiguity in Real-Time Precise Orbit Determination of LEO Satellites Using Space-Borne GPS Data