Internal waves and mixing in the Arctic Ocean