Thermal Modeling of Extreme Heat Flux Microchannel Coolers for GaN-on-SiC Semiconductor Devices