Vertical heat transfer in the Arctic Ocean: The role of double-diffusive mixing