Infrared-Faint Radio Sources are at high redshifts