Equatorial ionosphere: IRI and NeQuick modeling vs. radio tomographic imaging