Introduce the @Format annotation for defining the format of a date value type