pena de muerte en florida