NBC: Texas executes man who fatally shot 80-year-old woman during carjacking in 2000