Design and mathematical modelling of the space-borne far-infrared Fourier transform spectrometer for REFIR experiment