The DIMACS library of semidefinite-quadratic-linear programs