Use of the DATE_W3C constant in the <time> datetime attributes