First-principles calculation on β-SiC(111)/α-WC(0001) interface