Hitting the Books: Why a Dartmouth professor coined the term 'artificial intelligence'