High-Frequency Switching Power Supplies: Theory And Design