Carbon dioxide as a C1 building block. Mechanism of palladium-catalyzed carboxylation of aromatic halides