Geometric positioning integrating optical satellite stereo imagery and a global database of ICESat-2 laser control points: A framework and key technologies.