Advances in ionospheric propagation modelling at high-latitudes