Slightly updated lecture notes