Jack Smith officially appeals dismissal of classified documents case to 11th Circuit