Assessment of ionospheric corrections for PPP-RTK using S-system theory