Two-Dimensional Homotopy and Combinatorial Group Theory: The Andrews-Curtis Conjecture and its Generalizations