A formal dynamic stochastic model for single-frequency precise point positioning constrained by global ionosphere map. (14th December 2020)