Atmospheric remote sensing using global navigation satellite systems: From FORMOSAT-3/COSMIC to FORMOSAT-7/COSMIC-2