Integrity investigation of global ionospheric TEC maps for high-precision positioning