What will be the total supply of AGT tokens, do we know what will team do with all the unsold tokens?