Markel Insurance Q2 profit surges 40% as Cortex AI unit launches