Finite-time boundedness analysis of a class of linear discrete descriptor systems: An LMI approach