GPS surveying with 1 mm precision using corrections for atmospheric slant path delay