Describir: Modeling porosity loss in Fe0-based permeable reactive barriers with Faraday’s law