Margin trading, isolated margin, and funding rates: what traders on decentralized derivatives platforms should really know