New Developments in River Level Monitoring using GPS Heighting