The redeem underlying function converts dTokens into a specified quantity of the underlying asset, and returns them to the user. The amount of dTokens redeemed is equal to the quantity of underlying tokens received, divided by the current Exchange Rate. The amount redeemed must be less than the user's Account Liquidity and the market's available liquidity.