Out of the 20 million tokens available during the crowdsale, how many tokens were sold? And what will be the circulating supply?