Automated Ionospheric Front Velocity Estimation Algorithm for Ground-Based Augmentation Systems