Characterization of Al2O3/4H-SiC and Al2O3/SiO2/4H-SiC MOS structures