abolishing mandatory death penalties