How has the U.S. Supreme Court defined the legal use of the death penalty?