Robust Stability via Polyhedral Lyapunov Functions