Performance characteristics of a high-efficiency R717 OTEC power cycle