python中json.dumps使用及字符编码