Adaptive Modeling of Receiver Clock for Meter-level DGPS Vertical Positioning