quadratic matrix inequalities