Comparing formal charges to oxidation states