Stablecoin issuer Circle targets $7.2 billion valuation in upsized US IPO