High-resolution DEM generation from spaceborne and terrestrial remote sensing data for improved volcano hazard assessment — A case study at Nevado del Ruiz, Colombia