Combinatorial nonpositive curvature