A man who murdered his wife and two children with a machete has become the ninth person to be executed in Florida this year.