Numerical simulations of Al implanted 4H-SiC diodes modeling an explicit carrier trap effect due to the non-substitutional Al doping concentration