Finite-time stability of linear systems: an approach based on polyhedral Lyapunov functions