Lectures on Infinitary Model Theory