Excess and surplus insurance provider Ategrity files for IPO