اعدام، جرمی دولتی و رسمی