Experimental characterization of two archaeal inosine 5'-monophosphate cyclohydrolases