Text this: Monitoring of offshore platform subsidence using permanent GPS stations