A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory