HIFI: Heterodyne Instrument for the Far Infrared