Title: Enhancing kinematic GPS-ambiguity resolution for medium baselines using a regional ionosphere model in real-time