Text this: A Closed-Form Solution for the Analysis of Antifreeze Disease Fortification Length in a Permafrost Tunnel