NBC: 12-year-old Texas girl's 1979 murder just solved, but the killer was executed in 2002