High Mountain Asia 8-meter DEMs Derived from Along-track and Cross-track Optical Imagery