Carbon-14 in the HTGR fuel cycle