Intro to contact topology