Diffusion of ion implanted aluminum in silicon carbide