Circle formally files for IPO, seeks listing on NYSE under ‘CRCL’ ticker