Knowledge-based models of redox processes