The ECMWF Ensemble Prediction System - methodology and validation