Added labels and fixed references in Introduction.tex