Ice profiling sonar for an AUV: experience in the Arctic | IEEE Conference Publication | IEEE Xplore