when was the last person executed in florida