The ECMWF approach to ensemble prediction