Water surface height determination with a GPS wave glider: a demonstration in Loch Ness, Scotland