Recent Progress in the Carboxylation/Cyclization Reactions Using Carbon Dioxide as the C1 Source