Margining in Derivatives Markets and the Stability of the Banking Sector