GNSS for Quasi-Real-Time Earthquake Source Determination in Eastern Tibet: A Prototype System toward Early Warning Applications