Intro to polytopes