I want to load rinex file, do some modification and write it to a new rinex file. Does georinex has a dedicated function to output data to a rinex file?