Categorified Donaldson-Thomas theory