An LMI approach to the computation of lower bounds for stability margins of 2D discrete systems