Electrochemical Carboxylation of Several Organic Halides in Supercritical Carbon Dioxide