Ice profiling sonar for an AUV: Experience in the Arctic