Cell Notation as a Compact Summary of a Redox Process