Assign heights to GeoJSON geometries, based on a DEM file.