Cross-Margining in Crypto: How Shared Collateral Works