IonoMoni: ionospheric monitoring based on dual-frequency data from single GNSS station