Crossed squares and combinatorial homotopy