Use of satellite vertical sounder data in the ECMWF analysis system