ZTD Dynamic Modeling Versus Hopfield Model: Evaluation in DGPS Positioning