Ab initio study of misfit dislocations at the SiC/Si(001) interface