What is the “right” JSON date format?