Augmented Models of High-Frequency Transformers for SMPS