Design of a hydrogen/tritium permeation sensor for Gen-IV sodium fast reactors