Double-difference and precise point positioning processing strategies to determine OTL effect in GNSS time series | Synapse