“Electronic structure benchmark calculations of inorganic and biochemical carboxylation reactions”