GNSS Receivers & Antennas, Satellite-based PPP Correction Service, and Network RTK Service for Centimeter-level Positioning