electrochemical oxidation of coal