The application of geodetic radio interferometric surveying to the monitoring of sea-level