What amount of tokens are currently offered to investors? If some of them are not used during the IEO, will the rest be burned?