“Liberty Mutual's insurance business has longer-tailed and fatter-tailed risks compared to Progressive, requiring a more robust balance sheet.”