changed SDPVar to semidefinite