formal charge calculation