Just How Bad Was the Crucifixion of Jesus?