Added DATE_FORMAT function.

Added DATE_FORMAT function, available only in MySQL.