Finite-Time Stability Analysis of Linear Discrete-Time Systems via Polyhedral Lyapunov Functions