NBC: Texas man executed for killing 5-year-old girl abducted from a store in 2001