Theory of carrier adjusted DGPS positioning approach and some experimental results