Nuclear war, nuclear winter, and human extinction