A Procedure for Robust Stability Analysis of Discrete-Time Systems via Polyhedral Lyapunov Functions