Does the default DateTime ToString() yield the proper format that is expected in JSON?