how much usdc is in circulation