Properties of a Cutting Plane Method for Semidefinite Programming