On estimating the phase scintillation index using TEC provided by ISM and IGS professional GNSS receivers and machine learning