What is the formal charge formula?