Market Infrastructures Embrace Tokenized Collateral Mobility