Two-Dimensional Homotopy and Combinatorial Group Theory