High Frequency Switching Power Supplies: Theory and Design