USDT vs. USDC: the Two Leading Stablecoins