wide area differential GPS (WADGPS)