Algebraic Set Theory: Introduction