Introduction to polynomial optimization