Knot invariants and higher representation theory II: the categorification of quantum knot invariants - Ben Webster (2010)