把空气压缩成液体,需要多大的压力?