Implement to_iso8601 function