A theoretical study of dioxymethylene, proposed as intermediate in the oxidation of formaldehyde to formate over copper