  These are lecture notes from author's mini-course during Session 1: "Vertex
algebras, W-algebras, and application" of INdAM Intensive research period
"Perspectives in Lie Theory", at the Centro di Ricerca Matematica Ennio De
Giorgi, Pisa, Italy. December 9, 2014 -- February 28, 2015.
