NBC: Florida carries out record 12th execution this year for man convicted of killing wife's family