JSON格式化/压缩