Introduction to regularity structures