Ab initio calculations of the reconstructed (100) surfaces of cubic silicon carbide