Python 学习 —— 格式化文件JSON