Ionospheric incremental delay models in railway applications