On User Algorithms For Gnss Precise Point Positioning