Jack Smith appeals Trump docs case dismissal