Thermodynamic and fully-coupled reactive transport models of a steel–bentonite interface