High-frequency switching power supplies: Theory and design