Compact Modeling of SiC Insulated Gate Bipolar Transistors