Text this: High precision GPS data processing for the survey of South African tide gauges