lectures on polytopes springer