DEM of 1:250000 resolution from any available satellite

This topic has already widely been discussed in this forum. Please have a look at these tutorials on DEM generation with different sensors and modes:

Furthoremore, the discussions in here are crucial for undestanding the challenges: