Elements of Finite Model Theory