Copernicus stratospheric ozone service, 2009–2012: validation, system intercomparison and roles of input data sets