wayne doty florida execution date