Rational points on varieties and the Brauer-Manin obstruction