刑事诉讼法执行死刑规定是什么?