Mathematical formulation and demonstration of a dynamic system-level ship thermal management tool. (October 2016)