Introduction to embedding calculus