Introduction to the BSD conjecture