Theoretical investigation of the formation of basal plane stacking faults in heavily nitrogen-doped 4H-SiC crystals