Nuclear design of the high-temperature engineering test reactor (HTTR)