Scanned-wavelength-modulation-spectroscopy sensor for CO, CO2, CH4 and H2O in a high-pressure engineering-scale transport-reactor coal gasifier. (15th June 2015)