Model theory and algebraic geometry an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture (Springer, 1999)