Computational study on the mechanism of the reaction of carbon dioxide with siloxy silanes