Tokenized Does Not Mean Instantly Redeemable: Three Redemption Liquidity Models Explained