Accident-condition performance of high-temperature gas-cooled reactor fuels