Terrestrial laser scanning for 3D mapping of an alpine ice cave