Donaldson–Thomas invariant