Observations of the vertical distributions of summertime atmospheric pollutants and the corresponding ozone production in Shanghai, China