What a way to go : the guillotine, the pendulum, the thousand cuts, the Spanish donkey, and 66 other ways of putting someone to death