How Jack Smith’s case against Trump works