Cohomological Donaldson-Thomas theory