Videogrammetry, i.e. electronic processing of video signals {from a single source or } from different sources to give parallax or range information