NBC: Texas executes inmate for fatally shooting 3 teens in 1998