Mars rovers localization by matching local horizon to surface digital elevation models