Cost of the death penalty: $4 billion