High Frequency Modeling of Foil Type Transformers for Shipboard Power Electronic Power Distribution Systems