Trump Formally Convicted—But Faces No Punishment