Collateral Margining in Arbitrage-Free Counterparty Valuation Adjustment Including Re-Hypotecation and Netting