压缩气体使之液化的条件