execution of Scott Panetti