Summer School on Applied Logic: Finite Model Theory Notes