Fundamentals of Algebraic Graph Transformation