An LMI Formulation of Fixed-order H-infinity and H-2 Controller Design for Discrete-time Systems with Polytopic Uncertainty