These lecture notes are distributed in the hope that they will be useful. Any bug reports are appreciated.