If the developers will not conduct a bounty campaign, then where will the tokens allocated for it be spent later?