¿Cómo se usa el reequilibrio inteligente para vender tokens apalancados?