Double-jacketed tanks