An integrated model of tritium transport and corrosion in Fluoride Salt-Cooled High-Temperature Reactors (FHRs) – Part I: Theory and benchmarking