DSM generation from optical and SAR high resolution satellite imagery: methodology, problems and potentialities