Electromagnetic Design of High Frequency PFC Boost Converters using Gallium Nitride Devices