From quantum invariants of knots to categorification