Toward a Definition of AGI