Simulation of bacterial-based self-healing concrete: Reactive-transport modelling and semi-implicit finite difference implementation | Synapse