Implementation of a machine-learned gas optics parameterization in the ECMWF Integrated Forecasting System