Redox‐controlled multiple‐species reactive chemical transport: 1. Model development