If crowdfunding does not reach the hard top, how to deal with the remaining tokens? Is it destroyed or distributed to investors? ?