lecture 4 polytopes federico ardila