Comparison of modeled and observed stratospheric ozone springtime maxima