Algorithms for activity correction models for reactive transport.