DEM Generation from Very High Resolution Stereo Satellite Data in Urban Areas Using Dynamic Programming