Water-jacket reactor cavity cooling system concept to mitigate severe accident consequence of high temperature gas-cooled reactor