A Quadratic Programming Model of the Non-Life Insurer