Linear Complementarity Models for Steady-state Analysis of Pulse-width Modulated Switched Electronic Systems