Proper CodecJson instance for Date