Mechanism of buried β-SiC formation by implanted carbon in silicon