Algorithms for modelling of ionosphere corrections for precision GNNS real-time positioning