DIPOP differential positioning package for the Global Positioning System