Precise point positioning with ambiguity resolution using an external survey-grade antenna enhanced dual-frequency android GNSS data. (June 2020)