Stav dette: The ECMWF ensemble prediction system: Methodology and validation