PHP write json file