Loans: redeem not releasing correct amount due to rounding

[sander2]

In both redeem, the underlying amount is first converted to the lend token amount, after which the to-be released collateral is calculated by converting the lend token back to the underlying amount. This can have the consequence that the released collateral is less than what was requested in the redeem call. We should refactor to avoid the second conversion