NBC: Former Marine who killed 6-year-old girl in 1979 is executed in Florida