lectures on polytopes