Methodology of automated ionosphere front velocity estimation for ground-based augmentation of GNSS