appending data to a json file in python,"json.dump([], f)"