NBC: Former NFL defensive end Chris Smith dies at 31