Update the PDF file. Also fix some section numbers which did not start with 1, and some captions of figures.