Deep sea underwater robotic exploration in the ice-covered Arctic ocean with AUVs