python write dictionary to file as json with indent