Comparison of Antarctic polar stratospheric cloud observations by ground-based and space-borne lidar and relevance for chemistry-climate models