A library of semidefinite programming test problems