Ab initio Theoretical Investigation of the Mechanism for α- Lactone Formation from α-Halocarboxylates (I): Leaving Group, Substituent, Solvent, and Isotope Effects