It turns out that Enjin coins will be used in the game, and the old RUST tokens are no longer needed? What will happen to them?