Introduction to Kirby calculus