Retrieval of volcanic SO 2 from HIRS/2 using optimal estimation