Commercially Available Cree Silicon Carbide Power Devices: Historical Success of JBS Diodes and Future Power Switch Prospects