Air separation and liquefaction: recent developments and prospects for the beginning of the new millennium