Measuring the ice thickness on Lake Vanda