Ionospheric W Index Based on GNSS TEC in the Operational Use for Navigation Systems