Finite Model Theory and Its Applications