Larry Sanger, editor-chefe da Nupedia