各州が絞首刑を処刑の一形態として使ったのは最近のこと