气体为何可以用压缩体积的方法液化