A computationally efficient tool for the thermal optimization of salt batteries. Part 1: Derivation, verification and validation of the thermal model | Synapse