Finite-Time Thermodynamic Model for Evaluating Heat Engines in Ocean Thermal Energy Conversion