lecture 8 polytopes federico ardila