Khovanov Homology Theories and Their Applications