Enzymatic and Model Carboxylation and Reduction Reactions for Carbon Dioxide Utilization