Academic Report: BeiDou PPP-RTK High-Precision and Reliable Real-Time Service System and Applications