GPS-RTK高程测量代替四等水准测量的实践