Modeling Coupled THMC Processes and Brine Migration in Salt at High Temperatures