How many NEO tokens are in supply and circulation?