Title: Thermal Distribution Principle and Nonlinear Optimal Control for HVAC Water System