JSON serialization of times