Text this: LMI Formulation for Static Output Feedback Design of Discrete-Time Switched Systems