Difference between oxidation state and formal charge