The Birch and Swinnerton-Dyer conjecture