Circle invests $13b, or 30% of USDC reserves, in US treasuries