Computational Studies of High-Oxidation State Main-Group Metal Hydrocarbon C-H Functionalization