java 字符串压缩长度并解压