How high frequency switching power supplies work