Why Polyhedra Matter in Non-Linear Equation Solving