Algorithms and Implementation of Wide Area Differential GPS