Modelling Switching Power Converters as Complementarity Systems