how to dump data into a json file